automata theory
英 [ɔːˈtɒmətə ˈθɪəri]
美 [ɔˈtɑmətə ˈθiːəri]
网络 自动化理论; 自动机理论; 自动机; 自动理论
双语例句
- Therefore, the study of the relationships of some kinds of automata with truth-values in a lattice-ordered monoid and the study of the algebraic properties of their languages form two very important subjects in fuzzy automata theory.
因此，对取值于格半群的自动机极及其语言性质的研究是格值自动机理论的一个重要课题，而对不同类型格值自动机之间的关系及其语言代数性质的研究更是其中一个重要方面。 - This paper introduces the significance of sub-title recognition in natural language processing, and presents the recognition method of sub-title with label using regular expression and automata theory.
介绍了小标题识别在中文信息处理领域中的重要意义，提出了用正规式和自动机理论进行有标号小标题识别的方法。 - Recently, the Cellular Automata Theory has been applied into vehicle traffic and pedestrian evacuation.
近年来元胞自动机广泛应用于机动车交通、行人流的研究。 - Moreover, this paper also introduces the application of cellular automata theory model in the medical-image segmentation.
除此之外，本文也对元胞自动机理论模型在医学图像分割中的应用作了介绍。 - The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。 - The paper gives the design and implementation of Monternet business based on USSD, by Automata Theory and Java Multithreading Technology. Compare with SMS Monternet, the system is more preponderant and provides most text alternate services about Monternet.
与传统短信方式的移动梦网相比，本文通过有限状态自动机理论和Java多线程技术，设计开发的USSD移动梦网业务更具优势，该系统能涵盖绝大部分移动梦网文字交互类服务。 - Existing complexity proofs on the circularity problem of AGs are based on automata theory, such as writing pushdown acceptor and alternating Turing machines.
目前对属性文法循环性问题复杂度的证明，多基于自动机理论，如写入推出接受器、交替涂林机等。 - Automata theory is the basic of research of algorithm description and analysis, the theory of computation complexity, and computability, etc.
自动机理论是算法描述和分析，计算复杂性理论，可计算性等研究的基础，它为计算理论提供了可靠的数学模型。 - The fifth part of the paper based on cellular automata theory, research set in the intersection between two adjacent bus stop capacity and bus stop on the impact of the capacity of signalized intersections based on the delay.
论文的第五部分基于元胞自动机理论，研究了设置在两相邻交叉口之间公交停靠站对通行能力影响，以及基于延误分析了公交停靠站对信号交叉口的通行能力影响。 - The highway toll collector system was researched by using the finite automata theory.
利用有穷自动机理论研究了高速公路收费站的收费系统。